تعداد ۸۱ پاسخ غیر تکراری از ۸۱ پاسخ تکراری در مدت زمان ۰,۶۲ ثانیه یافت شد.

81. 8th International Conference on Automated Deduction :

Author: edited by Jörg H. Siekmann.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Automatic theorem proving -- Congresses.,Automatic theorem proving.,Logic, Symbolic and mathematical -- Congresses.

RIS Bibtex ISO

This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them